$\forall$$M_{1}$, $M_{2}$:MsgA. $M_{1}$ $\subseteq$ $M_{2}$ $\Rightarrow$ ($\forall$$a$:Id. $a$ declared in $M_{1}$ $\Rightarrow$ $a$ declared in $M_{2}$)